Theorem: A measurable function g on X2 is integrable with respect to the pushforward measure f∗(μ) if and only if the composition g ∘ f {\displaystyle g\circ f} is integrable with respect to the measure μ. La formule de changement de variables est l'une des principales propriétés : Une fonction g sur X2 est intégrable par rapport à la mesure image f*μ si et seulement si la fonction composée g∘ f est intégrable par rapport à la mesure μ.